Optimal. Leaf size=88 \[ -a b x-\frac {a^2 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {b^2 \cosh (c+d x)}{d}-\frac {2 b^2 \cosh ^3(c+d x)}{3 d}+\frac {b^2 \cosh ^5(c+d x)}{5 d}+\frac {a b \cosh (c+d x) \sinh (c+d x)}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.07, antiderivative size = 88, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 5, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.238, Rules used = {3299, 3855,
2715, 8, 2713} \begin {gather*} -\frac {a^2 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {a b \sinh (c+d x) \cosh (c+d x)}{d}-a b x+\frac {b^2 \cosh ^5(c+d x)}{5 d}-\frac {2 b^2 \cosh ^3(c+d x)}{3 d}+\frac {b^2 \cosh (c+d x)}{d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 2713
Rule 2715
Rule 3299
Rule 3855
Rubi steps
\begin {align*} \int \text {csch}(c+d x) \left (a+b \sinh ^3(c+d x)\right )^2 \, dx &=i \int \left (-i a^2 \text {csch}(c+d x)-2 i a b \sinh ^2(c+d x)-i b^2 \sinh ^5(c+d x)\right ) \, dx\\ &=a^2 \int \text {csch}(c+d x) \, dx+(2 a b) \int \sinh ^2(c+d x) \, dx+b^2 \int \sinh ^5(c+d x) \, dx\\ &=-\frac {a^2 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {a b \cosh (c+d x) \sinh (c+d x)}{d}-(a b) \int 1 \, dx+\frac {b^2 \text {Subst}\left (\int \left (1-2 x^2+x^4\right ) \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-a b x-\frac {a^2 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {b^2 \cosh (c+d x)}{d}-\frac {2 b^2 \cosh ^3(c+d x)}{3 d}+\frac {b^2 \cosh ^5(c+d x)}{5 d}+\frac {a b \cosh (c+d x) \sinh (c+d x)}{d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.23, size = 96, normalized size = 1.09 \begin {gather*} \frac {150 b^2 \cosh (c+d x)-25 b^2 \cosh (3 (c+d x))+3 b^2 \cosh (5 (c+d x))+120 a \left (-2 \left (b c+b d x+a \log \left (\cosh \left (\frac {1}{2} (c+d x)\right )\right )-a \log \left (\sinh \left (\frac {1}{2} (c+d x)\right )\right )\right )+b \sinh (2 (c+d x))\right )}{240 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(170\) vs.
\(2(84)=168\).
time = 2.00, size = 171, normalized size = 1.94
method | result | size |
risch | \(-a b x +\frac {b^{2} {\mathrm e}^{5 d x +5 c}}{160 d}-\frac {5 \,{\mathrm e}^{3 d x +3 c} b^{2}}{96 d}+\frac {{\mathrm e}^{2 d x +2 c} a b}{4 d}+\frac {5 \,{\mathrm e}^{d x +c} b^{2}}{16 d}+\frac {5 \,{\mathrm e}^{-d x -c} b^{2}}{16 d}-\frac {{\mathrm e}^{-2 d x -2 c} a b}{4 d}-\frac {5 \,{\mathrm e}^{-3 d x -3 c} b^{2}}{96 d}+\frac {b^{2} {\mathrm e}^{-5 d x -5 c}}{160 d}+\frac {a^{2} \ln \left ({\mathrm e}^{d x +c}-1\right )}{d}-\frac {a^{2} \ln \left ({\mathrm e}^{d x +c}+1\right )}{d}\) | \(171\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 140, normalized size = 1.59 \begin {gather*} -\frac {1}{4} \, a b {\left (4 \, x - \frac {e^{\left (2 \, d x + 2 \, c\right )}}{d} + \frac {e^{\left (-2 \, d x - 2 \, c\right )}}{d}\right )} + \frac {1}{480} \, b^{2} {\left (\frac {3 \, e^{\left (5 \, d x + 5 \, c\right )}}{d} - \frac {25 \, e^{\left (3 \, d x + 3 \, c\right )}}{d} + \frac {150 \, e^{\left (d x + c\right )}}{d} + \frac {150 \, e^{\left (-d x - c\right )}}{d} - \frac {25 \, e^{\left (-3 \, d x - 3 \, c\right )}}{d} + \frac {3 \, e^{\left (-5 \, d x - 5 \, c\right )}}{d}\right )} + \frac {a^{2} \log \left (\tanh \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1052 vs.
\(2 (84) = 168\).
time = 0.46, size = 1052, normalized size = 11.95 \begin {gather*} \frac {3 \, b^{2} \cosh \left (d x + c\right )^{10} + 30 \, b^{2} \cosh \left (d x + c\right ) \sinh \left (d x + c\right )^{9} + 3 \, b^{2} \sinh \left (d x + c\right )^{10} - 25 \, b^{2} \cosh \left (d x + c\right )^{8} - 480 \, a b d x \cosh \left (d x + c\right )^{5} + 120 \, a b \cosh \left (d x + c\right )^{7} + 5 \, {\left (27 \, b^{2} \cosh \left (d x + c\right )^{2} - 5 \, b^{2}\right )} \sinh \left (d x + c\right )^{8} + 150 \, b^{2} \cosh \left (d x + c\right )^{6} + 40 \, {\left (9 \, b^{2} \cosh \left (d x + c\right )^{3} - 5 \, b^{2} \cosh \left (d x + c\right ) + 3 \, a b\right )} \sinh \left (d x + c\right )^{7} + 10 \, {\left (63 \, b^{2} \cosh \left (d x + c\right )^{4} - 70 \, b^{2} \cosh \left (d x + c\right )^{2} + 84 \, a b \cosh \left (d x + c\right ) + 15 \, b^{2}\right )} \sinh \left (d x + c\right )^{6} + 150 \, b^{2} \cosh \left (d x + c\right )^{4} + 4 \, {\left (189 \, b^{2} \cosh \left (d x + c\right )^{5} - 350 \, b^{2} \cosh \left (d x + c\right )^{3} - 120 \, a b d x + 630 \, a b \cosh \left (d x + c\right )^{2} + 225 \, b^{2} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{5} - 120 \, a b \cosh \left (d x + c\right )^{3} + 10 \, {\left (63 \, b^{2} \cosh \left (d x + c\right )^{6} - 175 \, b^{2} \cosh \left (d x + c\right )^{4} - 240 \, a b d x \cosh \left (d x + c\right ) + 420 \, a b \cosh \left (d x + c\right )^{3} + 225 \, b^{2} \cosh \left (d x + c\right )^{2} + 15 \, b^{2}\right )} \sinh \left (d x + c\right )^{4} - 25 \, b^{2} \cosh \left (d x + c\right )^{2} + 40 \, {\left (9 \, b^{2} \cosh \left (d x + c\right )^{7} - 35 \, b^{2} \cosh \left (d x + c\right )^{5} - 120 \, a b d x \cosh \left (d x + c\right )^{2} + 105 \, a b \cosh \left (d x + c\right )^{4} + 75 \, b^{2} \cosh \left (d x + c\right )^{3} + 15 \, b^{2} \cosh \left (d x + c\right ) - 3 \, a b\right )} \sinh \left (d x + c\right )^{3} + 5 \, {\left (27 \, b^{2} \cosh \left (d x + c\right )^{8} - 140 \, b^{2} \cosh \left (d x + c\right )^{6} - 960 \, a b d x \cosh \left (d x + c\right )^{3} + 504 \, a b \cosh \left (d x + c\right )^{5} + 450 \, b^{2} \cosh \left (d x + c\right )^{4} + 180 \, b^{2} \cosh \left (d x + c\right )^{2} - 72 \, a b \cosh \left (d x + c\right ) - 5 \, b^{2}\right )} \sinh \left (d x + c\right )^{2} + 3 \, b^{2} - 480 \, {\left (a^{2} \cosh \left (d x + c\right )^{5} + 5 \, a^{2} \cosh \left (d x + c\right )^{4} \sinh \left (d x + c\right ) + 10 \, a^{2} \cosh \left (d x + c\right )^{3} \sinh \left (d x + c\right )^{2} + 10 \, a^{2} \cosh \left (d x + c\right )^{2} \sinh \left (d x + c\right )^{3} + 5 \, a^{2} \cosh \left (d x + c\right ) \sinh \left (d x + c\right )^{4} + a^{2} \sinh \left (d x + c\right )^{5}\right )} \log \left (\cosh \left (d x + c\right ) + \sinh \left (d x + c\right ) + 1\right ) + 480 \, {\left (a^{2} \cosh \left (d x + c\right )^{5} + 5 \, a^{2} \cosh \left (d x + c\right )^{4} \sinh \left (d x + c\right ) + 10 \, a^{2} \cosh \left (d x + c\right )^{3} \sinh \left (d x + c\right )^{2} + 10 \, a^{2} \cosh \left (d x + c\right )^{2} \sinh \left (d x + c\right )^{3} + 5 \, a^{2} \cosh \left (d x + c\right ) \sinh \left (d x + c\right )^{4} + a^{2} \sinh \left (d x + c\right )^{5}\right )} \log \left (\cosh \left (d x + c\right ) + \sinh \left (d x + c\right ) - 1\right ) + 10 \, {\left (3 \, b^{2} \cosh \left (d x + c\right )^{9} - 20 \, b^{2} \cosh \left (d x + c\right )^{7} - 240 \, a b d x \cosh \left (d x + c\right )^{4} + 84 \, a b \cosh \left (d x + c\right )^{6} + 90 \, b^{2} \cosh \left (d x + c\right )^{5} + 60 \, b^{2} \cosh \left (d x + c\right )^{3} - 36 \, a b \cosh \left (d x + c\right )^{2} - 5 \, b^{2} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )}{480 \, {\left (d \cosh \left (d x + c\right )^{5} + 5 \, d \cosh \left (d x + c\right )^{4} \sinh \left (d x + c\right ) + 10 \, d \cosh \left (d x + c\right )^{3} \sinh \left (d x + c\right )^{2} + 10 \, d \cosh \left (d x + c\right )^{2} \sinh \left (d x + c\right )^{3} + 5 \, d \cosh \left (d x + c\right ) \sinh \left (d x + c\right )^{4} + d \sinh \left (d x + c\right )^{5}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.43, size = 154, normalized size = 1.75 \begin {gather*} -\frac {480 \, {\left (d x + c\right )} a b - 3 \, b^{2} e^{\left (5 \, d x + 5 \, c\right )} + 25 \, b^{2} e^{\left (3 \, d x + 3 \, c\right )} - 120 \, a b e^{\left (2 \, d x + 2 \, c\right )} - 150 \, b^{2} e^{\left (d x + c\right )} + 480 \, a^{2} \log \left (e^{\left (d x + c\right )} + 1\right ) - 480 \, a^{2} \log \left ({\left | e^{\left (d x + c\right )} - 1 \right |}\right ) - {\left (150 \, b^{2} e^{\left (4 \, d x + 4 \, c\right )} - 120 \, a b e^{\left (3 \, d x + 3 \, c\right )} - 25 \, b^{2} e^{\left (2 \, d x + 2 \, c\right )} + 3 \, b^{2}\right )} e^{\left (-5 \, d x - 5 \, c\right )}}{480 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.21, size = 177, normalized size = 2.01 \begin {gather*} \frac {5\,b^2\,{\mathrm {e}}^{c+d\,x}}{16\,d}-\frac {2\,\mathrm {atan}\left (\frac {a^2\,{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\sqrt {-d^2}}{d\,\sqrt {a^4}}\right )\,\sqrt {a^4}}{\sqrt {-d^2}}-a\,b\,x+\frac {5\,b^2\,{\mathrm {e}}^{-c-d\,x}}{16\,d}-\frac {5\,b^2\,{\mathrm {e}}^{-3\,c-3\,d\,x}}{96\,d}-\frac {5\,b^2\,{\mathrm {e}}^{3\,c+3\,d\,x}}{96\,d}+\frac {b^2\,{\mathrm {e}}^{-5\,c-5\,d\,x}}{160\,d}+\frac {b^2\,{\mathrm {e}}^{5\,c+5\,d\,x}}{160\,d}-\frac {a\,b\,{\mathrm {e}}^{-2\,c-2\,d\,x}}{4\,d}+\frac {a\,b\,{\mathrm {e}}^{2\,c+2\,d\,x}}{4\,d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________